A new normal form of Boolean functions
نویسندگان
چکیده
منابع مشابه
Most Complex Boolean Functions Detected by the Specialized Normal Form
It is well known that Exclusive Sum-Of-Products (ESOP) expressions for Boolean functions require on average the smallest number of cubes. Thus, a simple complexity measure for a Boolean function is the number of cubes in its simplest ESOP. It will be shown that this structure-oriented measure of the complexity can be improved by a unique complexity measure which is based on the function. Thus, ...
متن کاملOn construction of non-normal Boolean functions
Given two non-weakly k-normal Boolean functions on n variables a method is proposed to construct a non-weakly (k + 1)-normal Boolean function on (n + 2)variables.
متن کاملA New Decomposition of Boolean Functions
This paper introduces a new type of decomposition of Boolean functions, partitioning the original function into disjoint chains of cubes. We show that using this type of decomposition as a preprocessing step in logic synthesis algorithms may lead to a considerable reduction in the run-time thus allowing to process larger functions, which otherwise cannot be handled due to the time limit.
متن کاملOn a new invariant of Boolean functions
A new invariant of the set of n-variable Boolean functions with respect to the action of AGL(n, 2) is studied. Application of this invariant to prove affine nonequivalence of two Boolean functions is outlined. The value of this invariant is computed for PSap type bent functions.
متن کاملNew Results for Sets of Boolean Functions
Traditionally Sum-Of-Products (SOPs) have been studied as expressions of Boolean functions. It has been shown by Sasao in [7] that Exclusive-or-Sum-Of-Products (ESOPs) are more compact representations of Boolean functions than SOPs. The problem to identify an exact minimal ESOP of a Boolean function is despite of some partial results still unsolved. Our new results rely on recently detected pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1976
ISSN: 0012-365X
DOI: 10.1016/0012-365x(76)90040-6